Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
631	Is Reality digital or analog? Jeremy Horne http://home.earthlink.net/~jhorne18 e-mail: Abstract Add to Reading List Source URL: www.iiis.org Language: English - Date: 2012-06-13 21:17:57 Physical cosmology Branches of philosophy Reality Ontology Science books Digital physics Logic Universe Planck scale Physics Science Philosophy
632	Thinking Through Art: Transforming Museum Curriculum m Margaret Burchenal and Michelle Grohe Abstract What kinds of programming should an art museum’s education department offer to the K–12 school community? How ca Add to Reading List Source URL: www.gardnermuseum.org Language: English - Date: 2014-01-10 09:28:32 Learning Critical thinking Epistemology Logic Learning Through Art Education Educational psychology Philosophy of education
633	Dynamic Logic for Security (DYLOS) Abstract The research proposed in this document focuses on the application of dynamic logic in the analysis and design of security protocols. We adopt the intentional approach of multi Add to Reading List Source URL: www.cs.rug.nl Language: English - Date: 2009-02-27 08:29:43 Modal logic Logic in computer science Non-classical logic Philosophical logic Artificial intelligence Epistemic modal logic Burrows–Abadi–Needham logic Temporal logic Dynamic logic Logic Mathematical logic Mathematics
634	Automatic Binding-related Error Diagnosis in Logic Programs PaweÃl Pietrzak1 and Manuel V. Hermenegildo1,2 1 School of Computer Science, Technical University of Madrid (UPM) Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2007-11-07 05:34:04 Logic programming Software engineering Assertion Debugging Abstraction SLD resolution Abstract interpretation Tree Logic in computer science Computer programming Theoretical computer science
635	Enzyme displacement reactions for programmable molecular logic Carl W. Brown, III1, Matthew R. Lakin2, Darko Stefanovic1,2, and Steven W. Graves1,3 Short Abstract — We report a novel method for implementing DNA-based l Add to Reading List Source URL: q-bio.org Language: English - Date: 2013-07-16 18:36:08 Molecular biology DNA Genetics Deoxyribozyme Logic gate Enzyme DNA computing Biology Chemistry Biochemistry
636	Efficient Nondestructive Equality Checking for Trees and Graphs Michael D. Adams and R. Kent Dybvig Indiana University Computer Science Department {adamsmd,dyb}@cs.indiana.edu Abstract Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2008-09-22 08:28:35 Algorithm Mathematical logic Scheme Function PP Mathematics Theoretical computer science Applied mathematics
637	PR2 Looking at Things – Ensemble Learning for Unstructured Information Processing with Markov Logic Networks Daniel Nyga1 , Ferenc Balint-Benczedi2 and Michael Beetz2 Abstract— We investigate the perception and reas Add to Reading List Source URL: ai.uni-bremen.de Language: English - Date: 2015-02-04 06:50:04 Mental processes Knowledge Cognitive science Vision Computer vision Object recognition 3D single object recognition Philosophy of perception Color Mind Perception Philosophy of mind
638	Symbolic Execution as DPLL Modulo Theories Quoc-Sang Phan Queen Mary University of London Abstract Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-04-10 18:09:41 Constraint programming Automated theorem proving Logic in computer science Electronic design automation Formal methods Satisfiability Modulo Theories DPLL algorithm Boolean satisfiability problem Solver Theoretical computer science Applied mathematics Mathematics
639	Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions Stefan Heule, Ioannis T. Kassios, Peter Müller, and Alexander J. Summers ETH Zurich, Switzerland Add to Reading List Source URL: stefanheule.com Language: English - Date: 2014-09-10 01:53:47 Formal methods Functions and mappings Predicate logic Abstraction Predicate Function Anamorphism Satisfiability Modulo Theories Predicate transformer semantics Mathematics Mathematical logic Logic
640	Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 8 Lower Bounds for Linear Satisfiability Problems ISSN 1073–0486. MIT Press Journals, Five Cambridge Center, Cambridge, Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 1999-10-13 17:17:56 Computational complexity theory Abstract algebra Linear algebra NP-complete problems Logic in computer science Boolean satisfiability problem Time complexity PP Element distinctness problem Theoretical computer science Mathematics Algebra

UPDATE